failure 31:
Requirement failed: {initstate.07} shall return pointer to the previous state
| location |
| trace |
/var/opt/lsb/test/olver-core/2014-01-29_05-08-38/math_rand_scenario.utz (math_rand_scenario.utt), line 5478 |
| occurence |
| scenario |
math_rand_scenario |
| specification function |
initstate_spec() |
| parameter value |
CallContext context = [pid=4305,thr=b74ab700] |
| parameter value |
UIntT seed = 123 |
| parameter value |
IntT size = 4 |
| return value |
(InitstateReturnType *) struct InitstateReturnType { res=struct VoidTPtr { system=0, process=4305, address=0 }, CurStatePointer=struct VoidTPtr { system=0, process=4305, address=139012768 } } |
coverage
& branch |
C
size < 8: unsuccessful case |
| properties |
| REQ failed |
initstate.07 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
The initstate() function handles restarting of random-number generator.
According to LSB, upon successful completion, initstate() shall return a pointer to the previous state
array; otherwise, a null pointer shall be returned.
But on the target machine the function returns neither a pointer to the previous state,
nor NULL pointer.
|
|